Grumberg, Orna: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Branching-Time Temporal Logic and Tree Automata

Orna Kupferman, Orna Grumberg

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 460 KB

english, 1996

2

[Lecture Notes in Computer Science] 25 Years of Model Checking Volume 5000 ||

Grumberg, Orna, Veith, Helmut

Year:

2008

Language:

english

File:

PDF, 42.39 MB

english, 2008

3

A proof rule for fair termination of guarded commands

Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever

Journal:

Information and Control

Year:

1985

Language:

english

File:

PDF, 885 KB

english, 1985

4

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - Model checking and abstraction

Clarke, Edmund M., Grumberg, Orna, Long, David E.

Year:

1992

Language:

english

File:

PDF, 1.22 MB

english, 1992

5

[Lecture Notes in Computer Science] 25 Years of Model Checking Volume 5000 || Fifteen Years of Formal Property Verification in Intel

Grumberg, Orna, Veith, Helmut

Year:

2008

Language:

english

File:

PDF, 216 KB

english, 2008

6

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1254 || Symbolic model checking of infinite state systems using presburger arithmetic

Year:

1997

Language:

english

File:

PDF, 828 KB

english, 1997

7

When not losing is better than winning: Abstraction and refinement for the full μ-calculus

Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

8

2009 CAV award announcement

Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 147 KB

english, 2010

9

Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations

Himanshu Jain, Edmund M. Clarke, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 640 KB

english, 2009

10

A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits

Tamir Heyman, Danny Geist, Orna Grumberg, Assaf Schuster

Journal:

Formal Methods in System Design

Year:

2002

Language:

english

File:

PDF, 716 KB

english, 2002

11

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1254 || HyTech: A model checker for hybrid systems

Year:

1997

Language:

english

File:

PDF, 353 KB

english, 1997

12

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Interpolation-sequence based model checking

Vizel, Yakir, Grumberg, Orna

Year:

2009

Language:

english

File:

PDF, 213 KB

english, 2009

13

A game-based framework for CTL counterexamples and 3-valued abstraction-refinement

Shoham, Sharon, Grumberg, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 607 KB

english, 2007

14

Distributed Symbolic Model Checking for μ-Calculus

Orna Grumberg, Tamir Heyman, Assaf Schuster

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.19 MB

english, 2005

15

Infinite trees, markings, and well-foundedness

Ran Rinat, Nissim Francez, Orna Grumberg

Journal:

Information and Computation

Year:

1988

Language:

english

File:

PDF, 1.29 MB

english, 1988

16

Preface: Volume 23, Issue 2

Alessandro Cimatti, Orna Grumberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 47 KB

english, 2001

17

Preface: Volume 68 Issue 4

Lubos Brim, Orna Grumberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 39 KB

english, 2002

18

Compositional verification and 3-valued abstractions join forces

Sharon Shoham, Orna Grumberg

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 875 KB

english, 2010

19

VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND

FIX, LIMOR, GRUMBERG, ORNA, HEYMAN, AMNON, HEYMAN, TAMIR, SCHUSTER, ASSAF

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 1.01 MB

english, 2007

20

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1254 || Construction of abstract state graphs with PVS

Year:

1997

Language:

english

File:

PDF, 858 KB

english, 1997

21

Different directions in parallel and distributed model checking: (invited talk)

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 29 KB

english, 2002

22

Another Look at LTL Model Checking

Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi

Journal:

Formal Methods in System Design

Year:

1997

Language:

english

File:

PDF, 421 KB

english, 1997

23

Model checking and abstraction

Clarke, Edmund M., Grumberg, Orna, Long, David E.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 1.99 MB

english, 1994

24

Simulation-based minimization

Bustan, Doron, Grumberg, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 275 KB

english, 2003

25

An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains

Frenkel, Hadar, Grumberg, Orna, Sheinvald, Sarai

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 761 KB

english, 2018

26

Program composition via unification

Limor Fix, Nissim Francez, Orna Grumberg

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.28 MB

english, 1994

27

Static Analysis for State-Space Reductions Preserving Temporal Logics

Karen Yorav, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 329 KB

english, 2004

28

3-Valued abstraction: More precision at less cost

Sharon Shoham, Orna Grumberg

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 367 KB

english, 2008

29

Counterexample-guided abstraction refinement for symbolic model checking

Clarke, Edmund, Grumberg, Orna, Jha, Somesh, Lu, Yuan, Veith, Helmut

Journal:

Journal of the ACM

Year:

2003

Language:

english

File:

PDF, 538 KB

english, 2003

30

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18 - Program repair that learns from mistakes

Rothenberg, Bat-Chen, Grumberg, Orna

Year:

2018

Language:

english

File:

PDF, 139 KB

english, 2018

31

Test sequence generation and model checking using dynamic transition relations

Sérgio Campos, Orna Grumberg, Karen Yorav, Copty Fady

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 250 KB

english, 2004

32

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking

Sharon Barner, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 2.67 MB

english, 2005

33

A work-efficient distributed algorithm for reachability analysis

Orna Grumberg, Tamir Heyman, Assaf Schuster

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 550 KB

english, 2006

34

Preface: volume 89

Lubos Brim, Orna Grumberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 30 KB

english, 2003

35

Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification

Michael Huth, Orna Grumberg

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 207 KB

english, 2009

36

Scalable distributed on-the-fly symbolic model checking

Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 324 KB

english, 2003

37

VeriTech: a framework for translating among model description notations

Orna Grumberg, Shmuel Katz

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 560 KB

english, 2007

38

Applicability of fair simulation

Doron Bustan, Orna Grumberg

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 283 KB

english, 2004

39

[ACM Press the third annual ACM symposium - Vancouver, British Columbia, Canada (1984.08.27-1984.08.29)] Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84 - Fair termination of communicating processes

Grumberg, Orna, Francez, Nissim, Katz, Shmuel

Year:

1984

Language:

english

File:

PDF, 740 KB

english, 1984

40

[IEEE 2019 IEEE Conference on Communications and Network Security (CNS) - Washington DC, DC, USA (2019.6.10-2019.6.12)] 2019 IEEE Conference on Communications and Network Security (CNS) - Topology-Agnostic Runtime Detection of OSPF Routing Attacks

Devir, Nurit, Grumberg, Orna, Markovitch, Shaul, Nakibly, Gabi

Year:

2019

File:

PDF, 37 KB

2019

41

2010 CAV award announcement

Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 171 KB

english, 2012

42

Multi-valued model checking games

Sharon Shoham, Orna Grumberg

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 298 KB

english, 2012

43

[Lecture Notes in Computer Science] Languages: From Formal to Natural Volume 5533 ||

Grumberg, Orna, Kaminski, Michael, Katz, Shmuel, Wintner, Shuly

Year:

2009

Language:

english

File:

PDF, 10.71 MB

english, 2009

44

[Lecture Notes in Computer Science] 25 Years of Model Checking Volume 5000 || From Church and Prior to PSL

Grumberg, Orna, Veith, Helmut

Year:

2008

Language:

english

File:

PDF, 516 KB

english, 2008

45

Introduction: Special Issue on CAV '97

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 7 KB

english, 2001

46

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1254 || Uppaal: Status & developments

Year:

1997

Language:

english

File:

PDF, 333 KB

english, 1997

47

Modular abstractions for verifying real-time distributed systems

Hana De-Leon, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

1993

Language:

english

File:

PDF, 1.56 MB

english, 1993

48

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

Sérgio Campos, Edmund M. Clarke, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2000

Language:

english

File:

PDF, 157 KB

english, 2000

49

Verification of the Futurebus+ cache coherence protocol

Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 960 KB

english, 1995

50

[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Fairness and hyperfairness in multi-party interactions

Attie, Paul C., Francez, Nissim, Grumberg, Orna

Year:

1990

Language:

english

File:

PDF, 1.18 MB

english, 1990

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски